Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
I can only stay a few minutes.
我只能停留几分钟。
This man yells directions and gets sunburned.
这个人一边晒着太阳,一边在大声下达指令。
The students are going to take the test in two days' time.
学生们准备在两天后就接受测验。